Buy Used and New Yamine Ait-Ameur Books

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur,Shin Nakajima,Dominique Méry

ISBN 13: 9789811550560

Format: Paperback (358 pages)
Publisher: Springer
Published: 29 Jul 2021

Save for later